Termination Detection for Synchronous Algorithms in P Systems
نویسنده
چکیده
We continue the research on termination detection for synchronous algorithms in P systems [1]. This paper is the first attempt to relate the classical definitions of process status and activation assumptions in the usual distributed computing framework to P systems. We validate our approach by modelling a well-known synchronous termination detection algorithm, the Dijkstra-Feijen-Van Gasteren (DFG) algorithm, and its application to synchronous BFS (SynchBFS) algorithm in P systems. A separation of concerns (SoC) P system design of this application is provided, by using our previous proposal, complex state symbols and parallel composition with interaction [1]. We newly propose semantics that is required for matching variables on components of complex state symbols. Our resulting formal P system achieves the same runtime as the DFG algorithm and shows substantially smaller program size than the high-level informal pseudocodes of the DFG algorithm.
منابع مشابه
Application to Adaptive Control to Synchronous Machine Excitation
Self-tuning adaptive control technique has the advantage of being able to track the system operating conditions so that satisfactory control action can always be produced. Self-tuning algorithms can be implemented easily. Because the power systems are usually time varying non-linear systems and their parameters vary, adaptive controllers are very suitable for power systems. Characteristics of a...
متن کاملA taxonomy of distributed termination detection algorithms
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult problem due to the fact that there is no simple way of gaining knowledge of the global state of the system. Of the algorithms proposed in the last 15 years, there are many similarities. We have categorized these algorithm...
متن کاملAnalysis and Diagnosis of Partial Discharge of Power Capacitors Using Extension Neural Network Algorithm and Synchronous Detection Based Chaos Theory
Power capacitors are important equipment of the power systems that are being operated in high voltage levels at high temperatures for long periods. As time goes on, their insulation fracture rate increases, and partial discharge is the most important cause of their fracture. Therefore, fast and accurate methods have great importance to accurately diagnosis the partial discharge. Conventional me...
متن کاملA Novel Intrusion Detection Systems based on Genetic Algorithms-suggested Features by the Means of Different Permutations of Labels’ Orders
Intrusion detection systems (IDS) by exploiting Machine learning techniques are able to diagnose attack traffics behaviors. Because of relatively large numbers of features in IDS standard benchmark dataset, like KDD CUP 99 and NSL_KDD, features selection methods play an important role. Optimization algorithms like Genetic algorithms (GA) are capable of finding near-optimum combination of the fe...
متن کاملAn Intelligent Anti-Islanding Scheme for Synchronous-Based Distributed Generation Using Reduced-Noise Morphological Gradient
This paper presents a pattern recognition-based scheme for detection of islanding conditions in synchronous- based distributed generation (DG) systems. The main idea behind the proposed scheme is the use of spatial features of system parameters such as the frequency, magnitude of positive sequence voltage, etc. In this study, the system parameters sampled at the point of common coupling (PCC) w...
متن کامل